formal calculus

形式演算

热门查询

Aeneid　　n. 埃涅伊特(古罗马史诗)
showtime　　n. 好戏上演；（电视等的）节目播放时间
houseman　　n. 男仆，男勤杂工；实习医生 n. (Houseman)人名；(法)乌瑟曼；(英)豪斯曼
lacey　　adj. 花边的
undercount　　vt. 少计；少算
evanescence　　n. 逐渐消失；瞬息；幻灭
high water　　n. （海、河的）高潮；高水位 [网络] 满潮；满潮或高潮；汛
seminar　　n. 讨论会，研讨班
purpura　　n. [内科] 紫癜 n. (Purpura)人名；(意)普尔普拉
Shoreditch　　肖迪奇（地名, 英国伦敦的一个地区）
coeur　　[医] 心脏心
founded　　v. 建立（found的过去分词）；创立 adj. 有基础的
fortified　　n. 强化酒（葡萄酒与白兰地或其他烈酒勾兑的混合酒，如Port酒） v. 筑防御工事于…（fortify的过去式） adj. 加强的
ADIOS　　int. （西）再见
Brendan　　[男子名] 布伦丹来源于爱尔兰语，含义是不详
helioseismology　　n. 日震学
back　　n. 后面；背部；靠背；足球等的后卫；书报等的末尾 adj. 后面的；过去的；拖欠的 vt. 支持；后退；背书；下赌注 adv. 以前；向后地；来回地；上溯；回来；回原处 vi. 后退；背靠；倒退 n. (Back)人名；(西、英、德、法、瑞典、捷)巴克
specimen　　n. 样品，样本；标本
manageability　　n. 易处理；易办；顺从
omaha　　n. 奥马哈；奥马哈市（美国内布拉斯加州）；美国奥马哈族印第安人